Definition of Complete metric space